Roumanie And NotFlorencia Miranda

List of bibliographic references

Number of relevant bibliographic references: 13.

Ident.	Authors (with country if any)	Title
000126	Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France]	Automated verification of equivalence properties of cryptographic protocols
001B97	Alessandro Armando [France] ; Wihem Arsac [France] ; Tigran Avanesov [France] ; Michele Barletta [Italie] ; Alberto Calvi [Italie] ; Alessandro Cappai [France] ; Roberto Carbone [France] ; Yannick Chevalier [France] ; Luca Compagna [France] ; Jorge Cuellar [Allemagne] ; Gabriel Erzse [Roumanie] ; Simone Frau [Suisse] ; Marius Minea [Roumanie] ; Sebastian Modersheim [France] ; David Von Oheimb [Allemagne] ; Giancarlo Pellegrino [France] ; Serena Elisa Ponta [France] ; Marco Rocchetto [Italie] ; Michaël Rusinowitch [France] ; Mohammad Torabi Dashti [Suisse] ; Mathieu Turuani [France] ; Luca Vigano [Italie]	The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
001C97	Rohit Chadha [États-Unis] ; Vincent Cheval [Royaume-Uni] ; Stefan Ciobaca [Roumanie] ; Steve Kremer [France]	Automated Verification of Equivalence Properties of Cryptographic Protocols
002621	Roberto Carbone [Italie] ; Marius Minea [Roumanie] ; Sebastian Alexander Mödersheim [Danemark] ; Serena Elisa Ponta [France, Italie] ; Mathieu Turuani [France] ; Luca Vigan [Italie]	Towards Formal Validation of Trust and Security in the Internet of Services
005485	Oana Andrei [France] ; Gabriel Ciobanu [Roumanie] ; Dorel Lucanu [Roumanie]	Expressing Control Mechanisms of Membranes by Rewriting Strategies
00AD87	Dan Cristea [Roumanie] ; Nancy Ide [États-Unis] ; Laurent Romary [France]	Marking-up multiple views of a Text: Discourse and Reference
00B542	Dan Cristea [Roumanie] ; Nancy Ide [États-Unis] ; Laurent Romary [France]	Veins Theory: A Model of Global Discourse Cohesion and Coherence
00BF36	Victor Mitrana [Roumanie] ; Gheorghe P Un [Roumanie] ; Grzegorz Rozenberg [Pays-Bas] ; Arto Salomaa [Finlande]	Pattern systems
00C627	Lila Kari [Finlande] ; Alexandru Mateescu [Finlande] ; Gheorghe Pa Un [Roumanie] ; Arto Salomaa [Finlande]	Multi-pattern languages
00DA56	Viorel Arn Utu [Roumanie]	On approximation of the inverse one—phase Stefan problem
00E062	Viorel Arn Utu [Roumanie] ; Viorel Barbu [Roumanie] ; Vincenzo Capasso [Italie]	Controlling the spread of a class of epidemics
00EF27	C. L. Simionescu [Roumanie]	Notes On a Mathematical Model in Plasma Physics
00F076	I. Alteras [Roumanie] ; R. Evolceanu [Roumanie]	Trichophyton georgiae and Trichophyton vanbreuseghemii in Romanian soil

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022